Formal Global Optimisation with Taylor Models
نویسنده
چکیده
منابع مشابه
Layout Design of a Furniture Production Line Using Formal Methods
This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.
متن کاملToward efficient parameter sweeping and optimisation of fluid performance models by Taylor-model based symbolic numerical integration
Fluid-approximation or mean-field techniques are currently very popular approaches to the efficient analysis of massivelyparallel Markov models. In this paper, we exploit the ODE-representation of these approximations to develop efficient techniques for simultaneous partially-symbolic numerical integration over parameter ranges. In particular, we borrow the Taylor model data structure of Makino...
متن کاملEmergency department resource optimisation for improved performance: a review
Emergency departments (EDs) have been becoming increasingly congested due to the combined impacts of growing demand, access block and increased clinical capability of the EDs. This congestion has known to have adverse impacts on the performance of the healthcare services. Attempts to overcome with this challenge have focussed largely on the demand management and the application of system wide p...
متن کاملA Common Framework for Natural Gradient and Taylor based Optimisation using Manifold Theory
This technical report constructs a theoretical framework to relate standard Taylor approximation based optimisation methods with Natural Gradient (NG), a method which is Fisher efficient with probabilistic models. Such a framework will be shown to also provide mathematical justification to combine higher order methods with the method of NG.
متن کاملOptimisation of assembly scheduling in VCIM systems using genetic algorithm
Assembly plays an important role in any production system as it constitutes a significant portion of the lead time and cost of a product. Virtual computer-integrated manufacturing (VCIM) system is a modern production system being conceptually developed to extend the application of traditional computer-integrated manufacturing (CIM) system to global level. Assembly scheduling in VCIM systems is ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006